perm filename PROVER.PRM[1,JRA] blob sn#005838 filedate 1972-08-25 generic text, type T, neo UTF8
NIL 
(LAP SUBS2T SUBR) 
(CAME 1 2)(JRST 0 TAG7A)(MOVE 1 3)(POPJ P 0) TAG7A 
	(PUSH P 1) 
	(PUSH P 2) 
	(PUSH P 3) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
(HRRZ 1 0 3)
(PUSH P 1)
	(JRST 0 TAG2) 
TAG1 	(HLRZ@ 1 0 P) 
	(HRRZ@ 1 1) 
	(MOVEM 1 -1 P) 
	(CALL 1 (E NUMBERP)) 
	(JUMPE 1 TAG11) 
	(MOVE 1 -3 P) 
	(CAME 1 -1 P) 
	(JRST 0 TAG13) 
	(HLRZ@ 1 0 P) 
	(MOVE 2 -4 P) 
	(HRRM@ 2 1) 
TAG13 	(JRST 0 TAG10) 
TAG11 	(HRRZ@ 1 -1 P) 
	(JUMPE 1 TAG10) 
	(HLRZ@ 1 0 P) 
	(MOVE 3 -1 P) 
	(MOVE 2 -3 P) 
	(PUSH P 1) 
	(MOVE 1 -5 P) 
	(CALL 3 (E S2)) 
	(HRRM@ 1 0 P) 
	(SUB P (C 0 0 1 1)) 
TAG10 	(HRRZ@ 1 0 P) 
	(MOVEM 1 0 P) 
TAG2 	(MOVE 1 0 P) 
	(JUMPN 1 TAG1) 
	(PUSH P -3 P) 
	(PUSH P -3 P) 
	(MOVE 1 -6 P) 
	(CALL 1 (E NUMBERP)) 
	(JUMPN 1 TAG22) 
	(HRRZ@ 1 -6 P) 
	(JUMPN 1 TAG20) 
TAG22 	(MOVE 2 -6 P) 
	(JRST 0 TAG17) 
TAG20 	(MOVE 1 -6 P) 
	(CALL 1 (E COPY)) 
	(MOVE 2 1) 
TAG17 	(MOVE 1 -1 P) 
	(CALL 2 (E CONS)) 
	(HRRZ@ 2 -4 P) 
	(CALL 2 (E CONS)) 
	(HRRM@ 1 0 P) 
	(SUB P (C 0 0 2 2)) 
	(MOVE 1 -2 P) 
TAG3 	(SUB P (C 0 0 5 5)) 
	(POPJ P) 
	NIL 
(LAP SEARCH2 SUBR)
(PUSH P 3)
(CALL 2(E ASSOC))
(JUMPE 1 FOO1)
(HRRZ 1 0 1)
(SUB P (C 0 0 1 1))
(POPJ P 0)
FOO1 (POP P 1)
(POPJ P 0)
NIL 

(LAP SUBS3T SUBR)(HLRZ 3 0 2)(CAME 3(SPECIAL ESCAPE))(JCALL 2(E SUBS3T*))
(HRRZ 2 0 2)(CALL 2(E SUBS3T*))(MOVE 2 (SPECIAL ESCAPE))(JCALL 2(E XCONS))
NIL 
(LAP SUBS3T* SUBR) 
(JUMPN 1 TAG7)(MOVE 1 2)(POPJ P 0) TAG7 
	(PUSH P 1) 
	(PUSH P 2) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
 	(MOVE 1 -5 P) 
	(MOVEM 1 0 P) 
	(HLRZ@ 1 1) 
TAG11(CALL 1(E NCONS))(MOVEM 1 -1 P)(MOVEM 1 -2 P)


	(JRST 0 TAG2) 
TAG1 
	(CALL 1 (E NCONS)) 
	(HRRM@ 1 -2 P) 
	(MOVEM 1 -2 P) 
TAG2 	(HRRZ@ 1 0 P) 
	(MOVEM 1 0 P) 
	(HLRZ@ 1 1) 
	(MOVEM 1 -4 P) 
	(MOVE 1 0 P) 
	(JUMPN 1 TAG14) 
	(MOVE 1 -1 P) 
	(JRST 0 TAG3) 
TAG14 	(MOVE 1 -4 P) 
	(CALL 1 (E NUMBERP)) 
	(JUMPE 1 TAG15) 
	(MOVE 3 -4 P) 
	(MOVE 2 -6 P) 
	(MOVE 1 3) 
	(CALL 3 (E SEARCH2)) 
	(JRST 0 TAG1) 
TAG15 	(HRRZ@ 1 -4 P) 
	(JUMPN 1 TAG16) 
	(MOVE 1 -4 P) 
	(JRST 0 TAG1) 
TAG16 	(MOVE 2 -4 P) 
	(MOVE 1 -6 P) 
	(CALL 2 (E SUBS3T*)) 
	(JRST 0 TAG1) 
TAG17 	(MOVEI 1 (QUOTE NIL)) 
TAG3 	(SUB P (C 0 0 7 7)) 
	(POPJ P) 
	NIL